Meriem Ouederni: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Checking Protocol Compatibility using Maude

Francisco Durán, Meriem Ouederni, Gwen Salaün

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 511 KB

english, 2009

2

Interactive specification and verification of behavioral adaptation contracts

Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni

Journal:

Information and Software Technology

Year:

2012

Language:

english

File:

PDF, 1.45 MB

english, 2012

3

A generic framework for -protocol compatibility checking

Francisco Durán, Meriem Ouederni, Gwen Salaün

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 794 KB

english, 2012

4

[IEEE 2009 IEEE 31st International Conference on Software Engineering - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 IEEE 31st International Conference on Software Engineering - ITACA: An integrated toolbox for the automatic composition and adaptation of Web services

Camara, Javier, Martin, Jose Antonio, Salaun, Gwen, Cubo, Javier, Ouederni, Meriem, Canal, Carlos, Pimentel, Ernesto

Year:

2009

Language:

english

File:

PDF, 373 KB

english, 2009

5

[IEEE 2009 9th International Conference on Quality Software (QSIC) - Jeju, Korea (South) (2009.08.24-2009.08.25)] 2009 Ninth International Conference on Quality Software - Interactive Specification and Verification of Behavioural Adaptation Contracts

Cámara, Javier, Salaün, Gwen, Canal, Carlos, Ouederni, Meriem

Year:

2009

Language:

english

File:

PDF, 672 KB

english, 2009

6

[IEEE 2011 IEEE International Conference on Services Computing (SCC) - Washington, DC, USA (2011.07.4-2011.07.9)] 2011 IEEE International Conference on Services Computing - Client Update: A Solution for Service Evolution

Ouederni, Meriem, Salaün, Gwen, Pimentel, Ernesto

Year:

2011

Language:

english

File:

PDF, 597 KB

english, 2011

7

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Deciding choreography realizability

Basu, Samik, Bultan, Tevfik, Ouederni, Meriem

Year:

2012

Language:

english

File:

PDF, 490 KB

english, 2012

8

Report of the Tunisian Registry of Primary Immunodeficiencies: 25-Years of Experience (1988–2012)

Mellouli, Fethi, Mustapha, Imen Ben, Khaled, Monia Ben, Besbes, Habib, Ouederni, Monia, Mekki, Najla, Ali, Meriem Ben, Larguèche, Beya, Hachicha, Mongia, Sfar, Tahar, Gueddiche, Neji, Barsaoui, Siheme

Journal:

Journal of Clinical Immunology

Year:

2015

Language:

english

File:

PDF, 673 KB

english, 2015

9

A correct-by-construction model for asynchronously communicating systems

Farah, Zoubeyr, Ait-Ameur, Yamine, Ouederni, Meriem, Tari, Kamel

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 2.17 MB

english, 2016

10

Deciding choreography realizability

Basu, Samik, Bultan, Tevfik, Ouederni, Meriem

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 490 KB

english, 2012

11

Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problem

Boussalia, Serial Rayene, Chaoui, Allaoua, Hurault, Aurélie, Ouederni, Meriem, Queinnec, Philippe

Journal:

International Journal of Intelligent Systems Technologies and Applications

Year:

2016

Language:

english

File:

PDF, 683 KB

english, 2016

12

Toward sustainable hydrogen storage and carbon dioxide capture in post-combustion conditions

Moussa, Meriem, Bader, Najoua, Querejeta, Nausika, Durán, Inés, Pevida, Covadonga, Ouederni, Abdelmottaleb

Journal:

Journal of Environmental Chemical Engineering

Year:

2017

Language:

english

File:

PDF, 1.05 MB

english, 2017

13

[IEEE 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Melbourne, VIC (2018.12.12-2018.12.14)] 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) - Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks

Benyagoub, Sarah, Ait-Ameur, Yamine, Ouederni, Meriem, Mashkoor, Atif

Year:

2018

File:

PDF, 135 KB

2018

14

Incremental correct-by-construction of distributed systems

Benyagoub, Sarah, Ouederni, Meriem, AÃ¯t-Ameur, Yamine

Journal:

Journal of Computer Languages

Year:

2020

File:

PDF, 9.14 MB

2020

15

Optical Coherence Tomography Angiography in idiopathic retinal vasculitis, aneurysms and neuroretinitis (IRVAN) syndrome: A case report

Ouederni, Meriem, Sassi, Hela, Chelly, Zied, Nefaa, Fehmy, Cheour, Monia

Journal:

European Journal of Ophthalmology

Year:

2020

File:

PDF, 875 KB

2020